1,548 research outputs found
The condition of challenge : a tool for experiential design
The experience of challenge in the natural environment provides opportunities for achievement that lead to psychological growth such as increased self esteem. This inquiry addresses the potential role of environmental challenge and comfort in environments de signed to facilitate psychological growth and learning. By studying physical, psychological, and sensory experiences of challenge in a landscape, it may be possible to incorporate similar physical, psychological, and sensory experiences into man-made interventions in the same landscape strengthening the potential support for psychological growth and learning in the total experience of environment
An integrated approach to high integrity software verification.
Computer software is developed through software engineering. At its most precise, software
engineering involves mathematical rigour as formal methods. High integrity software
is associated with safety critical and security critical applications, where failure
would bring significant costs. The development of high integrity software is subject to
stringent standards, prescribing best practises to increase quality. Typically, these standards
will strongly encourage or enforce the application of formal methods.
The application of formal methods can entail a significant amount of mathematical
reasoning. Thus, the development of automated techniques is an active area of research.
The trend is to deliver increased automation through two complementary approaches.
Firstly, lightweight formal methods are adopted, sacrificing expressive power, breadth of
coverage, or both in favour of tractability. Secondly, integrated solutions are sought,
exploiting the strengths of different technologies to increase automation.
The objective of this thesis is to support the production of high integrity software by
automating an aspect of formal methods. To develop tractable techniques we focus on
the niche activity of verifying exception freedom. To increase effectiveness, we integrate
the complementary technologies of proof planning and program analysis. Our approach
is investigated by enhancing the SPARK Approach, as developed by Altran Praxis Limited.
Our approach is implemented and evaluated as the SPADEase system. The key
contributions of the thesis are summarised below:
• Configurable and Sound - Present a configurable and justifiably sound approach
to software verification.
• Cooperative Integration - Demonstrate that more targeted and effective automation
can be achieved through the cooperative integration of distinct technologies.
• Proof Discovery - Present proof plans that support the verification of exception
freedom.
• Invariant Discovery - Present invariant discovery heuristics that support the verification
of exception freedom.
• Implementation as SPADEase - Implement our approach as SPADEase.
• Industrial Evaluation - Evaluate SPADEase against both textbook and industrial
subprograms
Hadronic Antenna Patterns to Distinguish Production Mechanisms for Large- jets
Hadronic antenna patterns provide a tool able to diagnose different patterns of colour flow in large-E_T jet events. They reflect the underlying short-distance dynamics, and are sensitive to colour coherence and interference between the initial- and final-state partons. We discuss how hadronic antenna patterns may be used on large-E_T events from the Fermilab Tevatron or the CERN LHC to distinguish between conventional QCD and new physics production mechanisms such as a possible Z' boson or compositeness
Combining children's savings account programs with scholarship programs: Effects on math and reading scores
The study examines school data and their association with participation in the Wabash County Promise Scholarships program, which combines Children's Savings Accounts (CSAs) with scholarships. CSAs are interventions designed to build educational assets for school age children. Policy makers are increasingly turning to CSAs as a way to augment efforts for improving children's educational outcomes. Findings from this study provide some evidence that having a CSA combined with a scholarship is associated with higher math and reading scores. Findings are strongest among the subsample receiving free/reduced lunch. Further, findings suggest that being a saver (i.e., having at least one family or champion contribution) in Promise Scholars is associated with higher math scores but not reading scores. Finally, evidence suggests that CSAs combined with scholarships in the Promise Scholars program are more closely associated with children's math and reading scores than only CSAs
A Landsat-Based Assessment of Mobile Bay Land Use and Land Cover Change from 1974 to 2008
The Mobile Bay region has experienced noteworthy land use and land cover (LULC) change in the latter half of the 20th century. Accompanying this change has been urban expansion and a reduction of rural land uses. Much of this LULC change has reportedly occurred since the landfall of Hurricane Frederic in 1979. The Mobile Bay region provides great economic and ecologic benefits to the Nation, including important coastal habitat for a broad diversity of fisheries and wildlife. Regional urbanization threatens the estuary s water quality and aquatic-habitat dependent biota, including commercial fisheries and avian wildlife. Coastal conservation and urban land use planners require additional information on historical LULC change to support coastal habitat restoration and resiliency management efforts. This presentation discusses results of a Gulf of Mexico Application Pilot project that was conducted in 2008 to quantify and assess LULC change from 1974 to 2008. This project was led by NASA Stennis Space Center and involved multiple Gulf of Mexico Alliance (GOMA) partners, including the Mobile Bay National Estuary Program (NEP), the U.S. Army Corps of Engineers, the National Oceanic and Atmospheric Administration s (NOAA s) National Coastal Data Development Center (NCDDC), and the NOAA Coastal Services Center. Nine Landsat images were employed to compute LULC products because of their availability and suitability for the application. The project also used Landsat-based national LULC products, including coastal LULC products from NOAA s Coastal Change & Analysis Program (C-CAP), available at 5-year intervals since 1995. Our study was initiated in part because C-CAP LULC products were not available to assess the region s urbanization prior to 1995 and subsequent to post Hurricane Katrina in 2006. This project assessed LULC change across the 34-year time frame and at decadal and middecadal scales. The study area included the majority of Mobile and Baldwin counties that encompass Mobile Bay. In doing so, each date of Landsat data was classified using an end-user defined modified Anderson level 1 classification scheme. LULC classifications were refined using a decision rule approach in conjunction with available C-CAP products. Individual dates of LULC classifications were validated by image interpretation of stratified random locations on raw Landsat color composite imagery in combination with higher resolution remote sensing and in-situ reference data. The results indicate that during the 34-year study period, urban areas increased from 96,688 to 150,227 acres, representing a 55.37% increase, or 1.63% per annum. Most of the identified urban expansion results from conversion of rural forest and agriculture to urban cover types. Final LULC mapping and metadata products were produced for the entire study area as well as watersheds of concern within the study area. Final project products, including LULC trend information, were incorporated into the Mobile Bay NEP State of the Bay report. Products and metadata were transferred to NOAA NCDDC to allow free online accessibility and use by GOMA partners and by the public
Analysis of observations of the middle atmosphere from satellites
Satellite data are being used to investigate problems in middle atmosphere chemistry and dynamics. Efforts have been focused primarily on studies to determine the quality of observed distributions of trace species and derived dynamical quantities. Those data have been used as diagnostics for model-derived constituent profiles and fields and for improving our understanding of some of the fundamental processes occurring in the middle atmosphere. Temperatures and derived winds from Nimbus 7 Limb Infrared Monitoring of the Stratosphere (LIMS) data were compared with long-time series of rawinsonde data at Invercargill, New Zealand, and Berlin, West Germany, and the results are excellent for both quantities. It was also demonstrated that more highly-derived dynamical quantities can be obtained reliably from those LIMS fields. Furthermore, both the diabatic and residual-mean circulations derived using LIMS data agree qualitatively with changes in the distribution of trace species determined independently with the Nimbus 7 SAMS and LIMS experiments. Subsequently, an examination of LIMS data at mid to high latitudes of the Southern Hemisphere has revealed a synoptic-scale, upper stratospheric instability during late autumn that is associated with the development of the stratospheric polar jet. Investigation of this phenomenon continues with Stratospheric Sounding Unit (SSU) data sets
The Ursinus Weekly, January 18, 1907
Ursinus Union • The rose of Savoy • Alumni notes • Society notes • College news • Exchanges • Literary Supplement: The new football; Che sara, sara; College fraternities; Two eighteenth century dramatistshttps://digitalcommons.ursinus.edu/weekly/2928/thumbnail.jp
Copper(II) and Nickel(II) Octabromo-tetrakis(pentafluorophenyl)Porphyrin Complexes
The copper and nickel complexes of 2,3,7,8,12,13,17, 18-octabromo-5,10,15,20-tetrakis(pentaftuorophenyl)
porphyrin ({4,5,9,10,14,15,19,20-octabromo-2,7,12,17-tetrakis(pentaftuorophenyl)-21,22,23,24-tetraazapentacyclo[l6.2.1.1^(3,6).l^(8,11).l^(13,16)]tetracosa-l,3-(22),4,6,8(23),9,11,13(24),14,16,18(21),19-dodecaene
}copper(II) 0.5-dichloromethane solvate and {4,5,9,10,14,15,19,20-octabromo-2,7,12,17-tetrakis(pentaftuorophenyl)-21,22,23,24-tetraazapentacyclo(
16.2.1.1^(3,6).l^(8,11).l^(13,16)]tetracosa-l,3(22),4,6,8(23),9,ll,13(24),14,16,18(21),19-dodecaene} nickel(II)0.5-dichloromethane solvate) form isostructural crystals. There is significant distortion from planarity of the porphyrin ring caused by the octabromo substituents
interacting with the meso-pentafluorophenyl groups
and with each other, with departures of the Br atoms
from the plane defined by the four N atoms of up to
2.36 A. This tetrahedral distortion of the molecule
does not result in any significant changes in bond
distances from those in non-halogenated tetraphenylporphyrin
complexes
A highly solvated zinc(II) tetrakis(pentafluorophenyl)-β-octabromoporphyrin
The title compound, {4,5,9,10,14,15,19,20-octabromo-2,7,12,17-tetrakis(pentafluorophenyl)-21,22,23,-
24-tetraazapentacyclo[16.2.1.1^(3,6).1^(8,11).1^(13,16)]tetracosa-1,3(21),4,6,8(22),9,11,13(23),14,16,18(24),19-dodecaene
}zinc(II) (carbon tetrachloride, o-dichlorobenzene,
acetone, methanol, water solvate) has a large
tetrahedral distortion, with the Br atoms as much as
1.83 Ã… from the plane of the N atoms. The distortion affects primarily bond angles and bond torsion angles; bond distances in the molecule are normal. Several different solvents are incorporated into the
crystal, providing a close (2.16 Ã…) O atom as an axial
neighbor to Zn and a more distant (3.16 Ã…) Cl atom,
in the opposite axial site
Copper(II) tetrakis(pentafluorophenyl)-β-octachloroporphyrin
The title compound, {4,5,9,10,14,15,19,20-octachloro-2,7,12, 17-tetrakis(pentafluorophenyl)-20,22,23,24-
tetraazapentacyclo[l6.2.l.1^(3·6).l^(8·11).l^(13·16)]tetracosa-1,3(21),4,6,8(22),9,11, 13(23), 14, 16, 18(24), 19-dodecaene}copper(II)(CuTFPPC1_8)dichloromethane solvate,
shows a large tetrahedral distortion or ruffling, with pairs of Cl atoms alternately averaging + 1.20 and -1.18 Å out of the plane of the four N atoms; the Cu atom is 0.01 Å out of the plane and the N atoms show a slight (±0.12 Å) tetrahedral distortion. A Cl atom of the solvent, at 3.515 (6) Å in an approximately axial position, is the closest non-bonded neighbor of the Cu atom
- …